Information, Processes and Games

نویسنده

  • Samson Abramsky
چکیده

2 Some Background Theories 4 2.1 Domain Theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.1.1 Examples of Domains . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.1.2 Technical Issues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.1.3 Conceptual Issues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.1.4 Continuous Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 2.1.5 The Fixpoint Theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 2.1.6 Further Developments in Domain Theory . . . . . . . . . . . . . . . . 11 2.2 Dynamic Logic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 2.2.1 Discussion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 2.3 Process Algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 2.3.1 Background . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 2.3.2 Some Basics of Process Algebra . . . . . . . . . . . . . . . . . . . . . . 15 2.3.3 Discussion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

APPLICATION OF GAME THEORY IN DYNAMIC COMPETITIVE PRICING WITH ONE PRICE LEADER AND N DEPENDENT FOLLOWERS

 In this research UF cheese pricing is considered and Pegah, Pak, Kaleh, Rouzaneh and Mihan firms’ data, as five main UF cheese competitive firms of Iran in breakfast cheese competitive market, is used. By using these firm’s sales data, production data and price of each ton of UF cheese in nineteen work-periods (each work-period is 6 months), their sales equations are estimated for each work-pe...

متن کامل

Utilizing Generalized Learning Automata for Finding Optimal Policies in MMDPs

Multi agent Markov decision processes (MMDPs), as the generalization of Markov decision processes to the multi agent case, have long been used for modeling multi agent system and are used as a suitable framework for Multi agent Reinforcement Learning. In this paper, a generalized learning automata based algorithm for finding optimal policies in MMDP is proposed. In the proposed algorithm, MMDP ...

متن کامل

Video games to rehabilitate and improve the cognitive skills of people with cognitive impairment: A special perspective to cognitive health in the elderly

Video games are the most modern and sophisticated form of media in the present, which attracts millions of children and adults worldwide. The various effects of different types of video games on the psychological characteristics of gamers have been studied over the years. The serious effects of these games on cognitive and emotional characteristics such as memory, concentration, visual-motor sk...

متن کامل

An Anthropological Study of Folk Plays and Games with Focus on Fooman Town in Gilan Province

Play and Game are considered as the oldest cultural behaviors as the universal elements of human culture in all communities and groups. Gilan province in Iran, especially their villages, has a unique folklore especially its local games and plays. Nevertheless, it is necessary to document and analyze the immense information about the folklore in these villages before it vanishes in the sea of so...

متن کامل

Social Development of Students Participating in Physical Activity and Computer Games

The purpose of this study was to compare the participation in physical activity and computer games on the social development of students. The population of this research was made up entirely of male students from secondary schools in the city of Marivan (mean age of 13.5 years). Among them, 300 were selected purposively (150 athletes, 150 computer games players). In order to collect the informa...

متن کامل

The prevalence of computer game addiction and related factors in adolescent boys of Gonabad in 2018

Background and Aim: Computer games are a kind of growing and attractive new communication technology. This has prompted researchers to study the effects of these games on users. This study aims to determine was performed the prevalence of computer game addiction and related factors in adolescent boys of Gonabad in 2018. Materials and Methods: In this cross-sectional descriptive-analytical stud...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • CoRR

دوره abs/1604.02603  شماره 

صفحات  -

تاریخ انتشار 2006